LNCS90

LNCS90
-D. M. Sandford: Using Sophisticated Models in Resolution Theorem Proving, Springer-Verlag 198

Acronyms von A bis Z. 2013.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS90 — D. M. Sandford: Using Sophisticated Models in Resolution Theorem Proving, Springer Verlag 198 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”